// Copyright 2015, VIXL authors
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
//   * Redistributions of source code must retain the above copyright notice,
//     this list of conditions and the following disclaimer.
//   * Redistributions in binary form must reproduce the above copyright notice,
//     this list of conditions and the following disclaimer in the documentation
//     and/or other materials provided with the distribution.
//   * Neither the name of ARM Limited nor the names of its contributors may be
//     used to endorse or promote products derived from this software without
//     specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


// ---------------------------------------------------------------------
// This file is auto generated using tools/generate_simulator_traces.py.
//
// PLEASE DO NOT EDIT.
// ---------------------------------------------------------------------

#ifndef VIXL_SIM_SDOT_4S_TRACE_AARCH64_H_
#define VIXL_SIM_SDOT_4S_TRACE_AARCH64_H_

const uint32_t kExpected_NEON_sdot_4S[] = {
  0x0000a16f, 0x0000fc07, 0x000064bf, 0x0000002e,
  0x0000b678, 0x00007c09, 0x00003d30, 0x00000028,
  0x000041c0, 0x00006857, 0x00001cc2, 0x00000022,
  0xffffc643, 0x00004441, 0x0000055c, 0x0000001c,
  0xffff72c6, 0x00000aba, 0x00000259, 0x00000011,
  0xffff4149, 0xfffff4c9, 0x0000014a, 0xffffffd7,
  0xffff5580, 0xffffecae, 0x0000003b, 0xffffff4d,
  0xffff79cf, 0xffffff05, 0xffffff04, 0xfffffe60,
  0xffffad37, 0x00000003, 0xfffffba1, 0xfffffda9,
  0xffffd838, 0xffffff05, 0xffffef54, 0xfffffd2e,
  0xfffff089, 0xfffffe07, 0xffffd5cc, 0xfffffe28,
  0xfffffbf1, 0xfffffa93, 0xffffad39, 0x00000022,
  0xfffffe40, 0xffffe26e, 0xffff8ef3, 0x0000031c,
  0xffffffc3, 0xffffb9dc, 0xffff82d9, 0x00000316,
  0x00000146, 0xffff82c8, 0xffffb5ca, 0x000002ea,
  0x0000053f, 0xffff72c7, 0x00000abb, 0x00000277,
  0x00001ddf, 0xffff6ea8, 0x000086ac, 0x00000192,
  0x000045cb, 0xffffff03, 0x0000846d, 0x000000cf,
  0x0000798e, 0x00007d05, 0x00007a9e, 0x00000040,
  0x0000b678, 0x00007c09, 0x00003d30, 0x00000028,
  0x0000d647, 0x0000fa0f, 0x000027bf, 0x00000026,
  0x00006609, 0x0000e587, 0x00001338, 0x00000024,
  0xffffe9d8, 0x0000c0bc, 0x00000361, 0x00000027,
  0xffff6ea7, 0x000086ab, 0x00000174, 0x0000004f,
  0xffff1b76, 0x00004a34, 0x000000df, 0x00000069,
  0xffff301f, 0x0000206d, 0x0000004a, 0x0000005a,
  0xffff5501, 0x000006f7, 0xffffffa6, 0xffffffe3,
  0xffff8ef1, 0x000002fd, 0xfffffe6b, 0xffffff78,
  0xffffc4a1, 0x00000103, 0xfffffb1f, 0xfffffe28,
  0xffffe85c, 0xffffff09, 0xffffeed7, 0xfffffe26,
  0xfffffa66, 0xfffffa9e, 0xffffd83a, 0xffffff24,
  0xfffffd89, 0xffffe1ac, 0xffffc4a3, 0x00000122,
  0xffffff58, 0xffffb86e, 0xffffb9f4, 0x00000146,
  0x00000127, 0xffff7bd5, 0xffffc15f, 0x00000165,
  0x00000571, 0xffff414a, 0xfffff4ca, 0x00000168,
  0x00001e8c, 0xffff1b77, 0x00004a35, 0x000000fd,
  0x000047d7, 0xffff82fd, 0x0000492e, 0x0000008e,
  0x00008368, 0xffffff03, 0x00004706, 0x00000032,
  0x000041c0, 0x00006857, 0x00001cc2, 0x00000022,
  0x00006609, 0x0000e587, 0x00001338, 0x00000024,
  0x0000fa0e, 0x0000d6f3, 0x00000adf, 0x00000026,
  0x00007c08, 0x0000b77f, 0x000001c2, 0x00000032,
  0xffffff02, 0x0000846c, 0x000000b1, 0x0000008d,
  0xffff82fc, 0x0000492d, 0x00000070, 0x000000fb,
  0xffff70f6, 0x00001fe0, 0x0000002f, 0x00000167,
  0xffff744a, 0x000006c3, 0xffffffe4, 0x00000166,
  0xffff82d7, 0x000002f7, 0xffffff40, 0x00000147,
  0xffffb9f2, 0x00000127, 0xfffffe17, 0xffffff22,
  0xffffe22f, 0xffffff57, 0xfffffad1, 0xfffffe24,
  0xfffffa20, 0xfffffbd9, 0xfffff08b, 0xfffffe26,
  0xfffffd0e, 0xffffe97c, 0xffffe85e, 0xffffff28,
  0xfffffe08, 0xffffc59e, 0xffffe231, 0xffffff76,
  0xffffff02, 0xffff8f70, 0xffffe4f0, 0xffffffe0,
  0xfffffd7c, 0xffff5581, 0xffffecaf, 0x00000059,
  0xffffebf1, 0xffff3020, 0x0000206e, 0x00000068,
  0xfffff3b7, 0xffff70f7, 0x00001fe1, 0x0000004d,
  0x000008ad, 0xffffec27, 0x00001eec, 0x00000024,
  0xffffc643, 0x00004441, 0x0000055c, 0x0000001c,
  0xffffe9d8, 0x0000c0bc, 0x00000361, 0x00000027,
  0x00007c08, 0x0000b77f, 0x000001c2, 0x00000032,
  0x0000fc06, 0x0000a282, 0x00000050, 0x00000065,
  0x00007d04, 0x00007a9d, 0x00000022, 0x000001ca,
  0xffffff02, 0x00004705, 0x00000014, 0x00000336,
  0xffffec26, 0x00001eeb, 0x00000006, 0x000004e5,
  0xffffc8c5, 0x00000648, 0xfffffff3, 0x0000055f,
  0xffffb5c8, 0x000002cb, 0xffffffb1, 0x00000591,
  0xffffc15d, 0x00000146, 0xffffff1f, 0xfffffd9c,
  0xffffe4ee, 0xffffffc1, 0xfffffe02, 0xfffffba7,
  0xfffffc12, 0xfffffd38, 0xfffffbf3, 0xfffffab2,
  0xfffffe08, 0xfffff17d, 0xfffffa68, 0xfffffabd,
  0xfffffe06, 0xffffd8b7, 0xfffffa22, 0xfffffbf8,
  0xfffffe04, 0xffffad38, 0xfffffc14, 0xfffffd57,
  0xfffffb87, 0xffff79d0, 0xffffff06, 0xffffff22,
  0xffffe42f, 0xffff5502, 0x000006f8, 0xffffffc4,
  0xffffc149, 0xffff744b, 0x000006c4, 0x00000002,
  0xffffb4ba, 0xffffc8c6, 0x00000649, 0x00000011,
  0xffff72c6, 0x00000aba, 0x00000259, 0x00000011,
  0xffff6ea7, 0x000086ab, 0x00000174, 0x0000004f,
  0xffffff02, 0x0000846c, 0x000000b1, 0x0000008d,
  0x00007d04, 0x00007a9d, 0x00000022, 0x000001ca,
  0x0000fc06, 0x000064be, 0x00000010, 0x00000a8e,
  0x00007c08, 0x00003d2f, 0x0000000a, 0x000012b9,
  0x00006856, 0x00001cc1, 0x00000004, 0x00001c1d,
  0x00004440, 0x0000055b, 0xfffffffe, 0x00001dff,
  0x00000ab9, 0x00000258, 0xfffffff3, 0x00001eac,
  0xfffff4c8, 0x00000149, 0xffffffb9, 0xffffec11,
  0xffffecad, 0x0000003a, 0xffffff2f, 0xffffe44f,
  0xffffff04, 0xffffff03, 0xfffffe42, 0xffffe28d,
  0x00000002, 0xfffffba0, 0xfffffd8b, 0xffffe1cb,
  0xffffff04, 0xffffef53, 0xfffffd10, 0xffffe99b,
  0xfffffe06, 0xffffd5cb, 0xfffffe0a, 0xfffff19c,
  0xfffffa92, 0xffffad38, 0x00000004, 0xfffffbbf,
  0xffffe26d, 0xffff8ef2, 0x000002fe, 0xfffffe89,
  0xffffb9db, 0xffff82d8, 0x000002f8, 0xffffff5e,
  0xffff82c7, 0xffffb5c9, 0x000002cc, 0xffffffcf,
  0xffff4149, 0xfffff4c9, 0x0000014a, 0xffffffd7,
  0xffff1b76, 0x00004a34, 0x000000df, 0x00000069,
  0xffff82fc, 0x0000492d, 0x00000070, 0x000000fb,
  0xffffff02, 0x00004705, 0x00000014, 0x00000336,
  0x00007c08, 0x00003d2f, 0x0000000a, 0x000012b9,
  0x0000fa0e, 0x000027be, 0x00000008, 0x000026c6,
  0x0000e586, 0x00001337, 0x00000006, 0x00003c38,
  0x0000c0bb, 0x00000360, 0x00000009, 0x000045eb,
  0x000086aa, 0x00000173, 0x00000031, 0x000047f7,
  0x00004a33, 0x000000de, 0x0000004b, 0xfffff3d7,
  0x0000206c, 0x00000049, 0x0000003c, 0xffffc169,
  0x000006f6, 0xffffffa5, 0xffffffc5, 0xffffb9fb,
  0x000002fc, 0xfffffe6a, 0xffffff5a, 0xffffb88d,
  0x00000102, 0xfffffb1e, 0xfffffe0a, 0xffffc5bd,
  0xffffff08, 0xffffeed6, 0xfffffe08, 0xffffd8d6,
  0xfffffa9d, 0xffffd839, 0xffffff06, 0xffffef72,
  0xffffe1ab, 0xffffc4a2, 0x00000104, 0xfffffb3d,
  0xffffb86d, 0xffffb9f3, 0x00000128, 0xfffffe35,
  0xffff7bd4, 0xffffc15e, 0x00000147, 0xffffff3d,
  0xffff5580, 0xffffecae, 0x0000003b, 0xffffff4d,
  0xffff301f, 0x0000206d, 0x0000004a, 0x0000005a,
  0xffff70f6, 0x00001fe0, 0x0000002f, 0x00000167,
  0xffffec26, 0x00001eeb, 0x00000006, 0x000004e5,
  0x00006856, 0x00001cc1, 0x00000004, 0x00001c1d,
  0x0000e586, 0x00001337, 0x00000006, 0x00003c38,
  0x0000d6f2, 0x00000ade, 0x00000008, 0x000063cb,
  0x0000b77e, 0x000001c1, 0x00000014, 0x000079ae,
  0x0000846b, 0x000000b0, 0x0000006f, 0x00008388,
  0x0000492c, 0x0000006f, 0x000000dd, 0x000008cd,
  0x00001fdf, 0x0000002e, 0x00000149, 0xffffb4da,
  0x000006c2, 0xffffffe3, 0x00000148, 0xffff82e7,
  0x000002f6, 0xffffff3f, 0x00000129, 0xffff7bf4,
  0x00000126, 0xfffffe16, 0xffffff04, 0xffff8f8f,
  0xffffff56, 0xfffffad0, 0xfffffe06, 0xffffad57,
  0xfffffbd8, 0xfffff08a, 0xfffffe08, 0xffffd5ea,
  0xffffe97b, 0xffffe85d, 0xffffff0a, 0xffffeef5,
  0xffffc59d, 0xffffe230, 0xffffff58, 0xfffffaef,
  0xffff8f6f, 0xffffe4ef, 0xffffffc2, 0xfffffe20,
  0xffff79cf, 0xffffff05, 0xffffff04, 0xfffffe60,
  0xffff5501, 0x000006f7, 0xffffffa6, 0xffffffe3,
  0xffff744a, 0x000006c3, 0xffffffe4, 0x00000166,
  0xffffc8c5, 0x00000648, 0xfffffff3, 0x0000055f,
  0x00004440, 0x0000055b, 0xfffffffe, 0x00001dff,
  0x0000c0bb, 0x00000360, 0x00000009, 0x000045eb,
  0x0000b77e, 0x000001c1, 0x00000014, 0x000079ae,
  0x0000a281, 0x0000004f, 0x00000047, 0x0000a18f,
  0x00007a9c, 0x00000021, 0x000001ac, 0x0000b698,
  0x00004704, 0x00000013, 0x00000318, 0x000041e0,
  0x00001eea, 0x00000005, 0x000004c7, 0xffffc663,
  0x00000647, 0xfffffff2, 0x00000541, 0xffff72e6,
  0x000002ca, 0xffffffb0, 0x00000573, 0xffff4169,
  0x00000145, 0xffffff1e, 0xfffffd7e, 0xffff55a0,
  0xffffffc0, 0xfffffe01, 0xfffffb89, 0xffff79ef,
  0xfffffd37, 0xfffffbf2, 0xfffffa94, 0xffffad57,
  0xfffff17c, 0xfffffa67, 0xfffffa9f, 0xffffd858,
  0xffffd8b6, 0xfffffa21, 0xfffffbda, 0xfffff0a9,
  0xffffad37, 0xfffffc13, 0xfffffd39, 0xfffffc11,
  0xffffad37, 0x00000003, 0xfffffba1, 0xfffffda9,
  0xffff8ef1, 0x000002fd, 0xfffffe6b, 0xffffff78,
  0xffff82d7, 0x000002f7, 0xffffff40, 0x00000147,
  0xffffb5c8, 0x000002cb, 0xffffffb1, 0x00000591,
  0x00000ab9, 0x00000258, 0xfffffff3, 0x00001eac,
  0x000086aa, 0x00000173, 0x00000031, 0x000047f7,
  0x0000846b, 0x000000b0, 0x0000006f, 0x00008388,
  0x00007a9c, 0x00000021, 0x000001ac, 0x0000b698,
  0x000064bd, 0x0000000f, 0x00000a70, 0x0000d667,
  0x00003d2e, 0x00000009, 0x0000129b, 0x00006629,
  0x00001cc0, 0x00000003, 0x00001bff, 0xffffe9f8,
  0x0000055a, 0xfffffffd, 0x00001de1, 0xffff6ec7,
  0x00000257, 0xfffffff2, 0x00001e8e, 0xffff1b96,
  0x00000148, 0xffffffb8, 0xffffebf3, 0xffff303f,
  0x00000039, 0xffffff2e, 0xffffe431, 0xffff5521,
  0xffffff02, 0xfffffe41, 0xffffe26f, 0xffff8f11,
  0xfffffb9f, 0xfffffd8a, 0xffffe1ad, 0xffffc4c1,
  0xffffef52, 0xfffffd0f, 0xffffe97d, 0xffffe87c,
  0xffffd5ca, 0xfffffe09, 0xfffff17e, 0xfffffa86,
  0xffffd838, 0xffffff05, 0xffffef54, 0xfffffd2e,
  0xffffc4a1, 0x00000103, 0xfffffb1f, 0xfffffe28,
  0xffffb9f2, 0x00000127, 0xfffffe17, 0xffffff22,
  0xffffc15d, 0x00000146, 0xffffff1f, 0xfffffd9c,
  0xfffff4c8, 0x00000149, 0xffffffb9, 0xffffec11,
  0x00004a33, 0x000000de, 0x0000004b, 0xfffff3d7,
  0x0000492c, 0x0000006f, 0x000000dd, 0x000008cd,
  0x00004704, 0x00000013, 0x00000318, 0x000041e0,
  0x00003d2e, 0x00000009, 0x0000129b, 0x00006629,
  0x000027bd, 0x00000007, 0x000026a8, 0x0000fa2e,
  0x00001336, 0x00000005, 0x00003c1a, 0x00007c28,
  0x0000035f, 0x00000008, 0x000045cd, 0xffffff22,
  0x00000172, 0x00000030, 0x000047d9, 0xffff831c,
  0x000000dd, 0x0000004a, 0xfffff3b9, 0xffff7116,
  0x00000048, 0x0000003b, 0xffffc14b, 0xffff746a,
  0xffffffa4, 0xffffffc4, 0xffffb9dd, 0xffff82f7,
  0xfffffe69, 0xffffff59, 0xffffb86f, 0xffffba12,
  0xfffffb1d, 0xfffffe09, 0xffffc59f, 0xffffe24f,
  0xffffeed5, 0xfffffe07, 0xffffd8b8, 0xfffffa40,
  0xfffff089, 0xfffffe07, 0xffffd5cc, 0xfffffe28,
  0xffffe85c, 0xffffff09, 0xffffeed7, 0xfffffe26,
  0xffffe22f, 0xffffff57, 0xfffffad1, 0xfffffe24,
  0xffffe4ee, 0xffffffc1, 0xfffffe02, 0xfffffba7,
  0xffffecad, 0x0000003a, 0xffffff2f, 0xffffe44f,
  0x0000206c, 0x00000049, 0x0000003c, 0xffffc169,
  0x00001fdf, 0x0000002e, 0x00000149, 0xffffb4da,
  0x00001eea, 0x00000005, 0x000004c7, 0xffffc663,
  0x00001cc0, 0x00000003, 0x00001bff, 0xffffe9f8,
  0x00001336, 0x00000005, 0x00003c1a, 0x00007c28,
  0x00000add, 0x00000007, 0x000063ad, 0x0000fc26,
  0x000001c0, 0x00000013, 0x00007990, 0x00007d24,
  0x000000af, 0x0000006e, 0x0000836a, 0xffffff22,
  0x0000006e, 0x000000dc, 0x000008af, 0xffffec46,
  0x0000002d, 0x00000148, 0xffffb4bc, 0xffffc8e5,
  0xffffffe2, 0x00000147, 0xffff82c9, 0xffffb5e8,
  0xffffff3e, 0x00000128, 0xffff7bd6, 0xffffc17d,
  0xfffffe15, 0xffffff03, 0xffff8f71, 0xffffe50e,
  0xfffffacf, 0xfffffe05, 0xffffad39, 0xfffffc32,
  0xfffffbf1, 0xfffffa93, 0xffffad39, 0x00000022,
  0xfffffa66, 0xfffffa9e, 0xffffd83a, 0xffffff24,
  0xfffffa20, 0xfffffbd9, 0xfffff08b, 0xfffffe26,
  0xfffffc12, 0xfffffd38, 0xfffffbf3, 0xfffffab2,
  0xffffff04, 0xffffff03, 0xfffffe42, 0xffffe28d,
  0x000006f6, 0xffffffa5, 0xffffffc5, 0xffffb9fb,
  0x000006c2, 0xffffffe3, 0x00000148, 0xffff82e7,
  0x00000647, 0xfffffff2, 0x00000541, 0xffff72e6,
  0x0000055a, 0xfffffffd, 0x00001de1, 0xffff6ec7,
  0x0000035f, 0x00000008, 0x000045cd, 0xffffff22,
  0x000001c0, 0x00000013, 0x00007990, 0x00007d24,
  0x0000004e, 0x00000046, 0x0000a171, 0x0000fc26,
  0x00000020, 0x000001ab, 0x0000b67a, 0x00007c28,
  0x00000012, 0x00000317, 0x000041c2, 0x00006876,
  0x00000004, 0x000004c6, 0xffffc645, 0x00004460,
  0xfffffff1, 0x00000540, 0xffff72c8, 0x00000ad9,
  0xffffffaf, 0x00000572, 0xffff414b, 0xfffff4e8,
  0xffffff1d, 0xfffffd7d, 0xffff5582, 0xffffeccd,
  0xfffffe00, 0xfffffb88, 0xffff79d1, 0xffffff24,
  0xfffffe40, 0xffffe26e, 0xffff8ef3, 0x0000031c,
  0xfffffd89, 0xffffe1ac, 0xffffc4a3, 0x00000122,
  0xfffffd0e, 0xffffe97c, 0xffffe85e, 0xffffff28,
  0xfffffe08, 0xfffff17d, 0xfffffa68, 0xfffffabd,
  0x00000002, 0xfffffba0, 0xfffffd8b, 0xffffe1cb,
  0x000002fc, 0xfffffe6a, 0xffffff5a, 0xffffb88d,
  0x000002f6, 0xffffff3f, 0x00000129, 0xffff7bf4,
  0x000002ca, 0xffffffb0, 0x00000573, 0xffff4169,
  0x00000257, 0xfffffff2, 0x00001e8e, 0xffff1b96,
  0x00000172, 0x00000030, 0x000047d9, 0xffff831c,
  0x000000af, 0x0000006e, 0x0000836a, 0xffffff22,
  0x00000020, 0x000001ab, 0x0000b67a, 0x00007c28,
  0x0000000e, 0x00000a6f, 0x0000d649, 0x0000fa2e,
  0x00000008, 0x0000129a, 0x0000660b, 0x0000e5a6,
  0x00000002, 0x00001bfe, 0xffffe9da, 0x0000c0db,
  0xfffffffc, 0x00001de0, 0xffff6ea9, 0x000086ca,
  0xfffffff1, 0x00001e8d, 0xffff1b78, 0x00004a53,
  0xffffffb7, 0xffffebf2, 0xffff3021, 0x0000208c,
  0xffffff2d, 0xffffe430, 0xffff5503, 0x00000716,
  0xffffffc3, 0xffffb9dc, 0xffff82d9, 0x00000316,
  0xffffff58, 0xffffb86e, 0xffffb9f4, 0x00000146,
  0xfffffe08, 0xffffc59e, 0xffffe231, 0xffffff76,
  0xfffffe06, 0xffffd8b7, 0xfffffa22, 0xfffffbf8,
  0xffffff04, 0xffffef53, 0xfffffd10, 0xffffe99b,
  0x00000102, 0xfffffb1e, 0xfffffe0a, 0xffffc5bd,
  0x00000126, 0xfffffe16, 0xffffff04, 0xffff8f8f,
  0x00000145, 0xffffff1e, 0xfffffd7e, 0xffff55a0,
  0x00000148, 0xffffffb8, 0xffffebf3, 0xffff303f,
  0x000000dd, 0x0000004a, 0xfffff3b9, 0xffff7116,
  0x0000006e, 0x000000dc, 0x000008af, 0xffffec46,
  0x00000012, 0x00000317, 0x000041c2, 0x00006876,
  0x00000008, 0x0000129a, 0x0000660b, 0x0000e5a6,
  0x00000006, 0x000026a7, 0x0000fa10, 0x0000d712,
  0x00000004, 0x00003c19, 0x00007c0a, 0x0000b79e,
  0x00000007, 0x000045cc, 0xffffff04, 0x0000848b,
  0x0000002f, 0x000047d8, 0xffff82fe, 0x0000494c,
  0x00000049, 0xfffff3b8, 0xffff70f8, 0x00001fff,
  0x0000003a, 0xffffc14a, 0xffff744c, 0x000006e2,
  0x00000146, 0xffff82c8, 0xffffb5ca, 0x000002ea,
  0x00000127, 0xffff7bd5, 0xffffc15f, 0x00000165,
  0xffffff02, 0xffff8f70, 0xffffe4f0, 0xffffffe0,
  0xfffffe04, 0xffffad38, 0xfffffc14, 0xfffffd57,
  0xfffffe06, 0xffffd5cb, 0xfffffe0a, 0xfffff19c,
  0xffffff08, 0xffffeed6, 0xfffffe08, 0xffffd8d6,
  0xffffff56, 0xfffffad0, 0xfffffe06, 0xffffad57,
  0xffffffc0, 0xfffffe01, 0xfffffb89, 0xffff79ef,
  0x00000039, 0xffffff2e, 0xffffe431, 0xffff5521,
  0x00000048, 0x0000003b, 0xffffc14b, 0xffff746a,
  0x0000002d, 0x00000148, 0xffffb4bc, 0xffffc8e5,
  0x00000004, 0x000004c6, 0xffffc645, 0x00004460,
  0x00000002, 0x00001bfe, 0xffffe9da, 0x0000c0db,
  0x00000004, 0x00003c19, 0x00007c0a, 0x0000b79e,
  0x00000006, 0x000063ac, 0x0000fc08, 0x0000a2a1,
  0x00000012, 0x0000798f, 0x00007d06, 0x00007abc,
  0x0000006d, 0x00008369, 0xffffff04, 0x00004724,
  0x000000db, 0x000008ae, 0xffffec28, 0x00001f0a,
  0x00000147, 0xffffb4bb, 0xffffc8c7, 0x00000667,
  0x0000053f, 0xffff72c7, 0x00000abb, 0x00000277,
  0x00000571, 0xffff414a, 0xfffff4ca, 0x00000168,
  0xfffffd7c, 0xffff5581, 0xffffecaf, 0x00000059,
  0xfffffb87, 0xffff79d0, 0xffffff06, 0xffffff22,
  0xfffffa92, 0xffffad38, 0x00000004, 0xfffffbbf,
  0xfffffa9d, 0xffffd839, 0xffffff06, 0xffffef72,
  0xfffffbd8, 0xfffff08a, 0xfffffe08, 0xffffd5ea,
  0xfffffd37, 0xfffffbf2, 0xfffffa94, 0xffffad57,
  0xffffff02, 0xfffffe41, 0xffffe26f, 0xffff8f11,
  0xffffffa4, 0xffffffc4, 0xffffb9dd, 0xffff82f7,
  0xffffffe2, 0x00000147, 0xffff82c9, 0xffffb5e8,
  0xfffffff1, 0x00000540, 0xffff72c8, 0x00000ad9,
  0xfffffffc, 0x00001de0, 0xffff6ea9, 0x000086ca,
  0x00000007, 0x000045cc, 0xffffff04, 0x0000848b,
  0x00000012, 0x0000798f, 0x00007d06, 0x00007abc,
  0x00000045, 0x0000a170, 0x0000fc08, 0x000064dd,
  0x000001aa, 0x0000b679, 0x00007c0a, 0x00003d4e,
  0x00000316, 0x000041c1, 0x00006858, 0x00001ce0,
  0x000004c5, 0xffffc644, 0x00004442, 0x0000057a,
  0x00001ddf, 0xffff6ea8, 0x000086ac, 0x00000192,
  0x00001e8c, 0xffff1b77, 0x00004a35, 0x000000fd,
  0xffffebf1, 0xffff3020, 0x0000206e, 0x00000068,
  0xffffe42f, 0xffff5502, 0x000006f8, 0xffffffc4,
  0xffffe26d, 0xffff8ef2, 0x000002fe, 0xfffffe89,
  0xffffe1ab, 0xffffc4a2, 0x00000104, 0xfffffb3d,
  0xffffe97b, 0xffffe85d, 0xffffff0a, 0xffffeef5,
  0xfffff17c, 0xfffffa67, 0xfffffa9f, 0xffffd858,
  0xfffffb9f, 0xfffffd8a, 0xffffe1ad, 0xffffc4c1,
  0xfffffe69, 0xffffff59, 0xffffb86f, 0xffffba12,
  0xffffff3e, 0x00000128, 0xffff7bd6, 0xffffc17d,
  0xffffffaf, 0x00000572, 0xffff414b, 0xfffff4e8,
  0xfffffff1, 0x00001e8d, 0xffff1b78, 0x00004a53,
  0x0000002f, 0x000047d8, 0xffff82fe, 0x0000494c,
  0x0000006d, 0x00008369, 0xffffff04, 0x00004724,
  0x000001aa, 0x0000b679, 0x00007c0a, 0x00003d4e,
  0x00000a6e, 0x0000d648, 0x0000fa10, 0x000027dd,
  0x00001299, 0x0000660a, 0x0000e588, 0x00001356,
  0x00001bfd, 0xffffe9d9, 0x0000c0bd, 0x0000037f,
  0x000045cb, 0xffffff03, 0x0000846d, 0x000000cf,
  0x000047d7, 0xffff82fd, 0x0000492e, 0x0000008e,
  0xfffff3b7, 0xffff70f7, 0x00001fe1, 0x0000004d,
  0xffffc149, 0xffff744b, 0x000006c4, 0x00000002,
  0xffffb9db, 0xffff82d8, 0x000002f8, 0xffffff5e,
  0xffffb86d, 0xffffb9f3, 0x00000128, 0xfffffe35,
  0xffffc59d, 0xffffe230, 0xffffff58, 0xfffffaef,
  0xffffd8b6, 0xfffffa21, 0xfffffbda, 0xfffff0a9,
  0xffffef52, 0xfffffd0f, 0xffffe97d, 0xffffe87c,
  0xfffffb1d, 0xfffffe09, 0xffffc59f, 0xffffe24f,
  0xfffffe15, 0xffffff03, 0xffff8f71, 0xffffe50e,
  0xffffff1d, 0xfffffd7d, 0xffff5582, 0xffffeccd,
  0xffffffb7, 0xffffebf2, 0xffff3021, 0x0000208c,
  0x00000049, 0xfffff3b8, 0xffff70f8, 0x00001fff,
  0x000000db, 0x000008ae, 0xffffec28, 0x00001f0a,
  0x00000316, 0x000041c1, 0x00006858, 0x00001ce0,
  0x00001299, 0x0000660a, 0x0000e588, 0x00001356,
  0x000026a6, 0x0000fa0f, 0x0000d6f4, 0x00000afd,
  0x00003c18, 0x00007c09, 0x0000b780, 0x000001e0,
  0x0000798e, 0x00007d05, 0x00007a9e, 0x00000040,
  0x00008368, 0xffffff03, 0x00004706, 0x00000032,
  0x000008ad, 0xffffec27, 0x00001eec, 0x00000024,
  0xffffb4ba, 0xffffc8c6, 0x00000649, 0x00000011,
  0xffff82c7, 0xffffb5c9, 0x000002cc, 0xffffffcf,
  0xffff7bd4, 0xffffc15e, 0x00000147, 0xffffff3d,
  0xffff8f6f, 0xffffe4ef, 0xffffffc2, 0xfffffe20,
  0xffffad37, 0xfffffc13, 0xfffffd39, 0xfffffc11,
  0xffffd5ca, 0xfffffe09, 0xfffff17e, 0xfffffa86,
  0xffffeed5, 0xfffffe07, 0xffffd8b8, 0xfffffa40,
  0xfffffacf, 0xfffffe05, 0xffffad39, 0xfffffc32,
  0xfffffe00, 0xfffffb88, 0xffff79d1, 0xffffff24,
  0xffffff2d, 0xffffe430, 0xffff5503, 0x00000716,
  0x0000003a, 0xffffc14a, 0xffff744c, 0x000006e2,
  0x00000147, 0xffffb4bb, 0xffffc8c7, 0x00000667,
  0x000004c5, 0xffffc644, 0x00004442, 0x0000057a,
  0x00001bfd, 0xffffe9d9, 0x0000c0bd, 0x0000037f,
  0x00003c18, 0x00007c09, 0x0000b780, 0x000001e0,
  0x000063ab, 0x0000fc07, 0x0000a283, 0x0000006e,
};
const unsigned kExpectedCount_NEON_sdot_4S = 361;

#endif  // VIXL_SIM_SDOT_4S_TRACE_AARCH64_H_
